Executable modal and temporal logics - IJCAI '93 Workshop, Chambery, France, August 28, 1993 : proceedings
- Författare
- International Joint Conference on Artificial Intelligence 1993) (Chambéry : Michael Fisher Richard Owens
- (Michael Fisher, Richard Owens (eds.).)
- Genre
- Konferenser, Ej skönlitteratur, Konferenspublikation
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer | cop. 1995 | Tyskland, Berlin, New York | 180 sidor. |